@article{CRAFT2016,
author = {Lam, Michael O. and Hollingsworth, J. K.},
issn = {1094-3420},
journal = {International Journal of High Performance Computing Applications},
month = {jun},
publisher = {SAGE Publications},
title = {{Fine-Grained Floating-Point Precision Analysis}},
year = {2016}
}

@inproceedings{CRAFT2013ICS,
address = {New York, New York, USA},
author = {Lam, Michael O. and Hollingsworth, Jeffrey K. and de Supinski, Bronis R. and Legendre, Matthew P.},
booktitle = {Proceedings of the 27th International ACM Conference on Supercomputing (ICS '13)},
isbn = {9781450321303},
keywords = {binary instrumentation,floating-point,mixed precision},
month = {jun},
pages = {369},
publisher = {ACM Press},
title = {{Automatically Adapting Programs for Mixed-Precision Floating-Point Computation}},
year = {2013}
}

@article{CRAFT2013PARCO,
author = {Lam, Michael O. and Hollingsworth, Jeffrey K. and Stewart, G.W.},
issn = {01678191},
journal = {Parallel Computing},
keywords = {Correctness,Debugging,Floating-point,Program analysis,Tools},
month = {mar},
number = {3},
pages = {146--155},
publisher = {Elsevier Science Publishers B. V.},
title = {{Dynamic Floating-Point Cancellation Detection}},
volume = {39},
year = {2013}
}

@inproceedings{ADAPT,
author = {Menon, Harshitha and Lam, Michael O. and Osei-Kuffuor, Daniel and Schordan, Markus and Lloyd, Scott and Mohror, Kathryn and Hittinger, Jeffrey},
title = {ADAPT: Algorithmic Differentiation Applied to Floating-Point Precision Tuning},
year = {2018},
publisher = {IEEE Press},
booktitle = {Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis},
articleno = {Article 48},
numpages = {13},
location = {Dallas, Texas},
series = {SC ’18}
}
